Pseudo-Kleene algebras determined by rough sets
نویسندگان
چکیده
We study the pseudo-Kleene algebras of Dedekind–MacNeille completion ordered set rough determined by a reflexive relation. characterize cases when PBZ and PBZ*-lattices can be defined on these algebras.
منابع مشابه
Representing regular Kleene algebras by tolerance-based rough sets
We show that any regular Kleene algebra defined on an algebraic lattice is isomorphic to a rough set Kleene algebra defined by a tolerance induced by an irredundant covering.
متن کاملRough sets determined by tolerances
We show that for any tolerance R on U , the ordered sets of lower and upper rough approximations determined by R form ortholattices. These ortholattices are completely distributive, thus forming atomistic Boolean lattices, if and only if R is induced by an irredundant covering of U , and in such a case, the atoms of these Boolean lattices are described. We prove that the ordered set RS of rough...
متن کاملRough Sets Determined by Quasiorders
In this paper, the ordered set of rough sets determined by a quasiorder relation R is investigated. We prove that this ordered set is a complete, completely distributive lattice, whenever the partially ordered set of the equivalence classes of R∩R−1 does not contain infinite ascending chains. We show that on this lattice can be defined three different kinds of complementation operations, and we...
متن کاملPartially Ordered Monads for Monadic Topologies, Rough Sets and Kleene Algebras
In this paper we will show that partially ordered monads contain sufficient structure for modelling monadic topologies, rough sets and Kleene algebras. Convergence represented by extension structures over partially ordered monads includes notions of regularity and compactness. A compactification theory can be developed. Rough sets [23] are modelled in a generalized setting with set functors. Fu...
متن کاملMonteiro Spaces and Rough Sets Determined by Quasiorder Relations: Models for Nelson algebras
The theory of rough sets provides a widely used modern tool, and in particular, rough sets induced by quasiorders are in the focus of the current interest, because they are strongly interrelated with the applications of preference relations and intuitionistic logic. In this paper, a structural characterisation of rough sets induced by quasiorders is given. These rough sets form Nelson algebras ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Approximate Reasoning
سال: 2023
ISSN: ['1873-4731', '0888-613X']
DOI: https://doi.org/10.1016/j.ijar.2023.108991